time
main
time
/
[root]
/
scaled
scaled
fun
Clock
.
scaled
(
factor
:
Double
)
:
Clock
Scale a
Clock
.
Parameters
factor
The factor by which to speed up or slow down time.